home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / mosmllib / Word8Array.sig < prev    next >
Encoding:
Text File  |  1996-07-03  |  1.4 KB  |  38 lines  |  [TEXT/R*ch]
  1. (* Word8Array -- SML Standard Library *)
  2.  
  3. eqtype array
  4. type elem   = Word8.word
  5. type vector = Word8Vector.vector
  6.  
  7. val maxLen   : int
  8.  
  9. val array    : int * elem -> array
  10. val tabulate : int * (int -> elem) -> array
  11. val fromList : elem list -> array
  12.  
  13. val length   : array -> int
  14. val sub      : array * int -> elem
  15. val update   : array * int * elem -> unit
  16. val extract  : array * int * int option -> vector
  17.  
  18. val copy     : {src: array,  si: int, dst: array, di: int, len: int} -> unit
  19. val copyv    : {src: vector, si: int, dst: array, di: int, len: int} -> unit
  20.  
  21. val app      : (elem -> unit) -> array -> unit
  22. val foldl    : (elem * 'b -> 'b) -> 'b -> array -> 'b
  23. val foldr    : (elem * 'b -> 'b) -> 'b -> array -> 'b
  24. val modify   : (elem -> elem) -> array -> unit
  25.  
  26. val appi     : (int * elem -> unit) -> array * int * int option -> unit
  27. val foldli   : (int * elem * 'b -> 'b) -> 'b -> array * int * int option -> 'b
  28. val foldri   : (int * elem * 'b -> 'b) -> 'b -> array * int * int option -> 'b
  29. val modifyi  : (int * elem -> elem) -> array * int * int option -> unit
  30.  
  31. (* Type [array] is the type of one-dimensional, mutable, zero-based
  32.    constant-time-access arrays with elements of type Word8.word, that
  33.    is, 8-bit words.  Arrays a1 and a2 are equal if both were created
  34.    by the same call to a primitive (array0, array, tabulate, fromList).
  35.  
  36.    All operations are as for Array.array.
  37. *)
  38.